CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 17 of 17 Results
1.
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con...
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Con... by Barthe, Gilles, Barthe, Gil... ISBN: 9783540688624 List Price: $99.00
$27.06 (Save 72%)
2.
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhove...
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhove... by de Boer, Frank S., Bonsangu... ISBN: 9783642170706 List Price: $83.00

OUT OF STOCK

See Availability on Amazon
3.
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia An...
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia An... by Boer, Frank S. de, Bonsangu... ISBN: 9783642041662 List Price: $83.00
$51.31 (Save 38%)
4.
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam...
Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam... by Boer, Frank S. de, Bonsangu... ISBN: 9783540921875 List Price: $74.95
$27.06 (Save 63%)
5.
Formal Methods for Components and Objects
Formal Methods for Components and Objects by De Boer, Frank S. ISBN: 9783540747918 List Price: $69.95
$51.31 (Save 26%)
6.
Theoretical Computer Science : 7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amst...
Theoretical Computer Science : 7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amst... by Baeten, Jos C. M., Ball, To... ISBN: 9783642334740 List Price: $108.00
$51.31 (Save 52%)
7.
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Au...
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Au... by Aichernig, Bernhard K., de ... ISBN: 9783642252709 List Price: $89.95

OUT OF STOCK

See Availability on Amazon
8.
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827448 List Price: $89.95
$101.14
9.
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertino...
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertino... by Giachino, Elena, Hhnle, Rei... ISBN: 9783642406140 List Price: $69.99
$46.78 (Save 33%)
10.
Formal Methods for Components And Objects Third International Symposium, Fmco 2004, Leiden, ...
Formal Methods for Components And Objects Third International Symposium, Fmco 2004, Leiden, ... by de Boer, Frank S., Bonsangu... ISBN: 9783540291312 List Price: $64.95
$52.33 (Save 19%)
11.
Formal Methods for Components And Objects 4th International Symposium, Fmco 2005, Amsterdam,...
Formal Methods for Components And Objects 4th International Symposium, Fmco 2005, Amsterdam,... by De Boer, Frank S. ISBN: 9783540367499 List Price: $79.95
$52.33 (Save 34%)
12.
Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, ...
Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, ... by Boer, Frank S. de ISBN: 9783540203032 List Price: $79.00
$52.33 (Save 33%)
13.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., De Boer,... ISBN: 9781848827462 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
14.
Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertino...
Formal Methods for Components and Objects : 11th International Symposium, Fmco 2012, Bertino... by Giachino, Elena, Hahnle, Re... ISBN: 9783642406164 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
15.
Formal Methods for Components and Objects
Formal Methods for Components and Objects by De Boer, Frank S., Bonsangu... ISBN: 9783642170720 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
16.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827455

OUT OF STOCK

See Availability on Amazon
17.
Formal Methods for Components and Objects
Formal Methods for Components and Objects by Boer, Frank S. de, Bonsangu... ISBN: 9783662210291 List Price: $24.99

OUT OF STOCK

See Availability on Amazon